Eliminating Recursion from Monadic Datalog Programs on Trees

We study the problem of eliminating recursion from monadic datalog programs on trees with an infinite set of labels. We show that the boundedness problem, i.e., determining whether a datalog program is equivalent to some nonrecursive one is undecidable but the decidability is regained if the descendant relation is disallowed. Under similar restrictions we obtain decidability of the problem of equivalence to a given nonrecursive program. We investigate the connection between these two problems in more detail

Gadolinium-Enhanced Magnetic Susceptibility Contrast Is Reduced in the Corpus Callosum of a Mouse Model of Tauopathy

Alterations to white matter have been implicated in a number of neurodegenerative diseases. In this work we investigate the sensitivity of MRI magnetic susceptibility mapping to these changes using a mouse model of Tauopathy. A non-rigid registration of contrast enhanced, high resolution ex vivo mouse brain images is used to transform susceptibility maps into a common space and a voxel-wise group comparison is performed. Significant differences were observed that may indicate disruption to the tissue of the corpus callosum

High-Level Why-Not Explanations Using Ontologies

We propose a novel foundational framework for why-not explanations, that is, explanations for why a tuple is missing from a query result. Our why-not explanations leverage concepts from an ontology to provide high-level and meaningful reasons for why a tuple is missing from the result of a query. A key algorithmic problem in our framework is that of computing a most-general explanation for a why-not question, relative to an ontology, which can either be provided by the user, or it may be automatically derived from the data and/or schema. We study the complexity of this problem and associated problems, and present concrete algorithms for computing why-not explanations. In the case where an external ontology is provided, we first show that the problem of deciding the existence of an explanation to a why-not question is NP-complete in general. However, the problem is solvable in polynomial time for queries of bounded arity, provided that the ontology is specified in a suitable language, such as a member of the DL-Lite family of description logics, which allows for efficient concept subsumption checking. Furthermore, we show that a most-general explanation can be computed in polynomial time in this case. In addition, we propose a method for deriving a suitable (virtual) ontology from a database and/or a data workspace schema, and we present an algorithm for computing a most-general explanation to a why-not question, relative to such ontologies. This algorithm runs in polynomial-time in the case when concepts are defined in a selection-free language, or if the underlying schema is fixed. Finally, we also study the problem of computing short most-general explanations, and we briefly discuss alternative definitions of what it means to be an explanation, and to be most general.Comment: in PODS 201

Tissue magnetic susceptibility mapping as a marker of tau pathology in Alzheimer's disease.

Alzheimer's disease is connected to a number of other neurodegenerative conditions, known collectively as 'tauopathies', by the presence of aggregated tau protein in the brain. Neuroinflammation and oxidative stress in AD are associated with tau pathology and both the breakdown of axonal sheaths in white matter tracts and excess iron accumulation grey matter brain regions. Despite the identification of myelin and iron concentration as major sources of contrast in quantitative susceptibility maps of the brain, the sensitivity of this technique to tau pathology has yet to be explored. In this study, we perform Quantitative Susceptibility Mapping (QSM) and T2* mapping in the rTg4510, a mouse model of tauopathy, both in vivo and ex vivo. Significant correlations were observed between histological measures of myelin content and both mean regional magnetic susceptibility and T2* values. These results suggest that magnetic susceptibility is sensitive to tissue myelin concentrations across different regions of the brain. Differences in magnetic susceptibility were detected in the corpus callosum, striatum, hippocampus and thalamus of the rTg4510 mice relative to wild type controls. The concentration of neurofibrillary tangles was found to be low to intermediate in these brain regions indicating that QSM may be a useful biomarker for early stage detection of tau pathology in neurodegenerative diseases

GIFtS: annotation landscape analysis with GeneCards

<p>Abstract</p> <p>Background</p> <p>Gene annotation is a pivotal component in computational genomics, encompassing prediction of gene function, expression analysis, and sequence scrutiny. Hence, quantitative measures of the annotation landscape constitute a pertinent bioinformatics tool. GeneCards^®is a gene-centric compendium of rich annotative information for over 50,000 human gene entries, building upon 68 data sources, including Gene Ontology (GO), pathways, interactions, phenotypes, publications and many more.</p> <p>Results</p> <p>We present the GeneCards Inferred Functionality Score (GIFtS) which allows a quantitative assessment of a gene's annotation status, by exploiting the unique wealth and diversity of GeneCards information. The GIFtS tool, linked from the GeneCards home page, facilitates browsing the human genome by searching for the annotation level of a specified gene, retrieving a list of genes within a specified range of GIFtS value, obtaining random genes with a specific GIFtS value, and experimenting with the GIFtS weighting algorithm for a variety of annotation categories. The bimodal shape of the GIFtS distribution suggests a division of the human gene repertoire into two main groups: the high-GIFtS peak consists almost entirely of protein-coding genes; the low-GIFtS peak consists of genes from all of the categories. Cluster analysis of GIFtS annotation vectors provides the classification of gene groups by detailed positioning in the annotation arena. GIFtS also provide measures which enable the evaluation of the databases that serve as GeneCards sources. An inverse correlation is found (for GIFtS>25) between the number of genes annotated by each source, and the average GIFtS value of genes associated with that source. Three typical source prototypes are revealed by their GIFtS distribution: genome-wide sources, sources comprising mainly highly annotated genes, and sources comprising mainly poorly annotated genes. The degree of accumulated knowledge for a given gene measured by GIFtS was correlated (for GIFtS>30) with the number of publications for a gene, and with the seniority of this entry in the HGNC database.</p> <p>Conclusion</p> <p>GIFtS can be a valuable tool for computational procedures which analyze lists of large set of genes resulting from wet-lab or computational research. GIFtS may also assist the scientific community with identification of groups of uncharacterized genes for diverse applications, such as delineation of novel functions and charting unexplored areas of the human genome.</p

Child health insurance coverage: a survey among temporary and permanent residents in Shanghai

<p>Abstract</p> <p>Background</p> <p>Under the current healthcare system in China, there is no government-sponsored health insurance program for children. Children from families who move from rural and interior regions to large urban centres without a valid residency permit might be at higher risk of being uninsured due to their low socioeconomic status. We conducted a survey in Shanghai to describe children's health insurance coverage according to their migration status.</p> <p>Method</p> <p>Between 2005 and 2006, we conducted an in-person health survey of the adult care-givers of children aged 7 and under, residing in five districts of Shanghai. We compared uninsurance rates between temporary and permanent child residents, and investigated factors associated with child health uninsurance.</p> <p>Results</p> <p>Even though cooperative insurance eligibility has been extended to temporary residents of Shanghai, the uninsurance rate was significantly higher among temporary (65.6%) than permanent child residents (21.1%, adjusted odds ratio (OR): 5.85, 95% confidence interval (95% CI): 4.62–7.41). For both groups, family income was associated with having child health insurance; children in lower income families were more likely to be uninsured (OR: 1.96, 95% CI: 1.40–2.96).</p> <p>Conclusion</p> <p>Children must rely on their parents to make the insurance purchase decision, which is constrained by their income and the perceived benefits of the insurance program. Children from migrant families are at even higher risk for uninsurance due to their lower socioeconomic status. Government initiatives specifically targeting temporary residents and providing health insurance benefits for their children are urgently needed.</p

Patients visiting the complementary medicine clinic for pain: a cross sectional study

<p>Abstract</p> <p>Background</p> <p>Pain is one of the most common reasons for seeking medical care. The purpose of this study was to characterize patients visiting the complementary medicine clinic for a pain complaint.</p> <p>Methods</p> <p>This is a cross-sectional study. The study took place at Clalit Health Services (CHS) complementary clinic in Beer-Sheva, Israel. Patients visiting the complementary clinic, aged 18 years old and older, Hebrew speakers, with a main complaint of pain were included. Patients were recruited consecutively on random days of the month during a period of six months. Main outcome measures were: pain levels, location of pain, and interference with daily activities. Once informed consent was signed patients were interviewed using a structured questionnaire by a qualified nurse. The questionnaire included socio-demographic data, and the Brief Pain Inventory (BPI).</p> <p>Results</p> <p>Three-hundred and ninety-five patients were seen at the complementary medicine clinic during the study period, 201 (50.8%) of them met the inclusion criteria. Of them, 163 (81.1%) agreed to participate in the study and were interviewed. Pain complaints included: 69 patients (46.6%) with back pain, 65 (43.9%) knee pain, and 28 (32.4%) other limbs pain. Eighty-two patients (50.3%) treated their pain with complementary medicine as a supplement for their conventional treatment, and 55 (33.7%) felt disappointed from the conventional medicine experience. Eighty-three patients (50.9%) claimed that complementary medicine can result in better physical strength, or better mental state 51 (31.3%). Thirty-seven patients (22.7%) were hoping that complementary medicine will prevent invasive procedures.</p> <p>Conclusion</p> <p>Given the high proportion of patients with unsatisfactory pain relief using complementary and alternative medicine (CAM), general practitioners should gain knowledge about CAM and CAM providers should gain training in pain topics to improve communication and counsel patients. More clinical research to evaluate safety and efficiency of CAM for pain is needed to provide evidence based counseling.</p

Association between forgone care and household income among the elderly in five Western European countries – analyses based on survey data from the SHARE-study

Background. Studies on the association between access to health care and household income have rarely included an assessment of 'forgone care', but this indicator could add to our understanding of the inverse care law. We hypothesize that reporting forgone care is more prevalent in low income groups. Methods. The study is based on the 'Survey of Health, Ageing and Retirement in Europe (SHARE)', focusing on the non-institutionalized population aged 50 years or older. Data are included from France, Germany, Greece, Italy and Sweden. The dependent variable is assessed by the following question: During the last twelve months, did you forgo any types of care because of the costs you would have to pay, or because this care was not available or not easily accessible? The main independent variable is household income, adjusted for household size and split into quintiles, calculating the quintile limits for each country separately. Information on age, sex, self assessed health and chronic disease is included as well. Logistic regression models were used for the multivariate analyses. Results. The overall level of forgone care differs considerably between the five countries (e.g. about 10 percent in Greece and 6 percent in Sweden). Low income groups report forgone care more often than high income groups. This associ

Effects of attention and perceptual uncertainty on cerebellar activity during visual motion perception

Recent clinical and neuroimaging studies have revealed that the human cerebellum plays a role in visual motion perception, but the nature of its contribution to this function is not understood. Some reports suggest that the cerebellum might facilitate motion perception by aiding attentive tracking of visual objects. Others have identified a particular role for the cerebellum in discriminating motion signals in perceptually uncertain conditions. Here, we used functional magnetic resonance imaging to determine the degree to which cerebellar involvement in visual motion perception can be explained by a role in sustained attentive tracking of moving stimuli in contrast to a role in visual motion discrimination. While holding the visual displays constant, we manipulated attention by having participants attend covertly to a field of random-dot motion or a colored spot at fixation. Perceptual uncertainty was manipulated by varying the percentage of signal dots contained within the random-dot arrays. We found that attention to motion under high perceptual uncertainty was associated with strong activity in left cerebellar lobules VI and VII. By contrast, attending to motion under low perceptual uncertainty did not cause differential activation in the cerebellum. We found no evidence to support the suggestion that the cerebellum is involved in simple attentive tracking of salient moving objects. Instead, our results indicate that specific subregions of the cerebellum are involved in facilitating the detection and discrimination of task-relevant moving objects under conditions of high perceptual uncertainty. We conclude that the cerebellum aids motion perception under conditions of high perceptual demand